501. Logic and Philosophy in the Lvov-Warsaw School
پدیدآورنده : by Jan Wolenski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
502. Logic and its applications :
پدیدآورنده : Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
503. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
504. Logic as universal science :
پدیدآورنده : Anssi Korhonen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970,Logic,Mathematics-- Philosophy
رده :
B1649
.
R94
K67
2013
505. Logic from Kant to Russell :
پدیدآورنده : edited by Sandra Lapointe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Analysis (Philosophy),Logic-- History-- 19th century.,Analysis (Philosophy),Logic.,PHILOSOPHY-- General.,PHILOSOPHY-- History & Surveys-- General.,PHILOSOPHY-- Logic.
رده :
BC38
.
L36
2019
506. Logic, methodology and philosophy of science
پدیدآورنده : / Edited by Yehoshua Bar-Hillel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
BC135
،.
I58
1964
507. Logic, methodology and philosophy of science IV. Proceedings
پدیدآورنده : Ed. by Patrick Suppes )a. o.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Methodology,Congresses ، Science - Philosophy
رده :
BC
135
.
I55
1971
508. Logic, methodology and philosophy of science; proceedings
پدیدآورنده : International Congress for Logic, Methodology, and Philosophy of Science )2nd: 4691: Jerusalem(
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Science-- Methodology-- Congresses,، Science-- Philosophy-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
509. Logicism, intuitionism, and formalism
پدیدآورنده : edited by Sten Lindström ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intuitionistic mathematics,Mathematics-- Philosophy-- History
رده :
QA8
.
4eb
510. Logicism, intuitionism, and formalism : what has become of them?
پدیدآورنده : edited by Sten Lindstrom ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics,Philosophy -- History ، Mathematics
رده :
QA
8
.
4
.
L634
511. Logicism, intuitionism, and formalism: what has become of them?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Intuitionistic mathematics,Philosophy History ، Mathematics
رده :
QA
8
.
4
.
L635
2009
512. Logodaedalus :
پدیدآورنده : Alexander Marr, Raphaële Garrod, José Ramón Marcaida and Richard J. Oosterhoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and languages-- Etymology-- Lexicography-- Research.,Language and languages-- Etymology-- Lexicography.,Intellectual life.,Language and languages-- Etymology-- Lexicography.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Etymology.,SCIENCE-- General.,SCIENCE-- Philosophy & Social Aspects.,Europe, Intellectual life.,Europe., 0, 7
رده :
P327
.
M2943
2018
514. Lost in math :
پدیدآورنده : Sabine Hossenfelder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Aesthetics.,Cosmology.,Mathematical physics-- Philosophy.,Quantum theory.,Science-- Aesthetics.,Aesthetics.,BIOGRAPHY & AUTOBIOGRAPHY-- Philosophers.,BIOGRAPHY & AUTOBIOGRAPHY-- Science & Technology.,Cosmology.,Illusion,Kosmologie,Mathematical physics-- Philosophy.,Mathematical physics.,MATHEMATICS-- Geometry-- Differential.,MATHEMATICS-- Group Theory.,MATHEMATICS-- History & Philosophy.,MATHEMATICS-- Research.,MATHEMATICS-- Topology.,Mathematische Methode,Mathematisches Modell,PHILOSOPHY-- Epistemology.,PHILOSOPHY-- Movements-- Empiricism.,PHILOSOPHY-- Movements-- Realism.,Physik,Quantum theory.,Schönheit,Science-- Aesthetics.,SCIENCE-- Astronomy.,SCIENCE-- Cosmology.,SCIENCE-- Energy.,SCIENCE-- Experiments & Projects.,SCIENCE-- Gravity.,SCIENCE-- History.,SCIENCE-- Philosophy & Social Aspects.,SCIENCE-- Physics-- Astrophysics.,SCIENCE-- Physics-- Electromagnetism.,SCIENCE-- Physics-- Mathematical & Computational.,SCIENCE-- Physics-- Quantum Theory.,SCIENCE-- Physics-- Relativity.,SCIENCE-- Space Science.,SCIENCE-- System Theory.,SCIENCE-- Time.,Standardmodell,Theorie
رده :
QC20
.
6
.
H67
2018
515. Ludic proof :
پدیدآورنده : Reviel Netz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Greek language, Hellenistic (300 B.C.-600 A.D.),Mathematics, Greek.,Technical writing.,Greek language, Hellenistic (300 B.C.-600 A.D.),MATHEMATICS-- History & Philosophy.,Mathematics, Greek.,Technical writing.
رده :
QA22
.
N28
2009eb
516. Ludwig Wittgenstein's philosophical investigations :
پدیدآورنده : Joseph Agassi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Wittgenstein, Ludwig,1889-1951., Philosophische Untersuchungen., English-- Criticism and interpretation.,Philosophische Untersuchungen (Wittgenstein, Ludwig),Analysis (Philosophy),Language and languages-- Philosophy.,Semantics (Philosophy),Analytical philosophy & Logical Positivism.,Language and languages-- Philosophy.,Mathematical foundations.,PHILOSOPHY-- History & Surveys-- Modern.,Philosophy.,Semantics (Philosophy),Semantics, discourse analysis, etc.
رده :
B3376
.
W563
517. Make a shield from wisdom :
پدیدآورنده : 20090507 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
518. Making and breaking mathematical sense : histories and philosophies of mathematical practice
پدیدآورنده : Wagner, Roi, 3791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : History ، Mathematics -- Philosophy,History ، Mathematics
رده :
QA
8
.
4
.
W23M2
519. Making mathematical culture :
پدیدآورنده : Richard J. Oosterhoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Lefèvre d'Étaples, Jacques,-1536.,Lefèvre d'Étaples, Jacques,-1536.,Mathematics-- History.,Intellectual life.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Paris (France), Intellectual life, 16th century.,France, Paris., 0, 7
رده :
QA27
.
F8
520. Making sense of quantum mechanics /
پدیدآورنده : Jean Bricmont
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Philosophy and science,Physics,Quantum theory
رده :
QC174
.
12
.
B75
2016